4681. Turbomachinery performance analysis
المؤلف: / R.I. Lewis
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Turbomachines
رده :
E-BOOK
4682. Turkish natural language processing /
المؤلف: Kemal Oflazer, Murat Saraçlar, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.,Artificial intelligence.,Computational linguistics.,COMPUTERS-- General.,Imaging systems & technology.,Natural language & machine translation.,Natural language processing (Computer science),Turkish language-- Translating.,Turkish language.
رده :
QA76
.
9
.
N38
4683. Tutorials on emerging methodologies and applications in operations research :
المؤلف: edited by Harvey J. Greenberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Operations research, Congresses.
4684. Type logical grammar :
المؤلف: by Glyn V. Morrill.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Categorial grammar.,Semantics (Philosophy),Type theory.
رده :
P161
.
B945
1994
4685. Typed Lambda Calculi and Applications :
المؤلف: edited by Masahito Hasegawa.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Logic design.
رده :
QA9
.
5
E358
2013
4686. Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
المؤلف: Henk Barendregt, Tobias Nipkow, eds
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
806
4687. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
المؤلف: Eduardo Gimenez, Christine Paulin-Mohring )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer logic,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1512
4688. Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
المؤلف: Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
996
4689. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
المؤلف: Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
4690. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
المؤلف: Stefano Berardi, Mario Coppo )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1158
4691. USB complet
المؤلف: / Jan Axelson
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Parallel programming (Computer science),USB (Computer bus),Ports (Electronic computer system)
رده :
TK
,
7895
,.
B87
,
A94
,
2009eb
4692. USB complete
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Parallel programming (Computer science) ; USB (Computer bus) ; Ports (Electronic computer system) ;
4693. UX for Lean Startups : Faster, Smarter User Experience Research and Design
المؤلف: / Klein, Laura
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
4694. UX fundamentals for non-UX professionals :
المؤلف: Edward Stull.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: User interfaces (Computer systems),User-centered system design.,Web sites-- Design.,Art forms.,COMPUTERS-- User Interfaces.,COMPUTERS-- Web-- Design.,Ethical & social aspects of IT.,Information retrieval.,Research & development management.,Technical design.,User interface design & usability.,User interfaces (Computer systems),User-centered system design.,Web sites-- Design.
رده :
QA76
.
9
.
U83
4695. Ubiquitous computing :
المؤلف: Florian Resatsch.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Ubiquitous computing.,Affaires.,Economie de l'entreprise.,Science économique.,Ubiquitous computing.
رده :
QA76
.
5915
.
R47
2010
4696. Ultra-wideband Coherent Optical LANs
المؤلف: edited by S. Forcesi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks.,Computer science.,Data transmission systems.
رده :
TK5105
.
7
E358
1993
4697. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
المؤلف: by Bilal M. Ayyub, Madan M. Gupta.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
4698. Uncertainty Management in Simulation-Optimization of Complex Systems
المؤلف: \ Gabriella Dellino , Carlo Meloni Editors
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Uncertainty (Information theory),عدم قطعیت (نظریه اطلاعات)
رده :
Q
375
.
U5
2015
E-Book
,
4699. Uncertainty Theory
المؤلف: by Baoding Liu.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Distribution (Probability theory).,Engineering.,Operations research.
4700. Uncertainty and Vagueness in Knowledge Based Systems :
المؤلف: by Rudolf Kruse, Erhard Schwecke, Jochen Heinsohn.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Systems theory.
رده :
Q335
.
B978
1991
